ATC.UNF[MRS,LSP]11 - www.SailDart.org

perm filename ATC.UNF[MRS,LSP]11 blob sn#690818 filedate 1982-12-15 generic text, type T, neo UTF8
'(THIS IS THE UNFASL FOR ((DSK (MRS LSP)) ATC LSP)) 
'(ASSEMBLED BY FASLAP /392) 
'(COMPILED BY LISP COMPILER /936 COMAUX /25 PHAS1 /84 MAKLAP /80 INITIA /117) 

;COMPILED ON DECEMBER 15, 1982, AT 9:10 PM

;Loading DEFSTRUCT 280
'↑↓-TERM 
'LT-QUANTIFIER 
'ROLELINK 
'PFC-FORMULA 
'ROLEXENTRY 
'LT-λ-EXPR 
'LT-λ-PREFIX 
'PATHKEYLIST 
	(COMMENT **FASL** 0. (LAP |ANTECEDENT MACRO| SUBR)) 
	(COMMENT **FASL** 33. (LAP |CONSEQUENT MACRO| SUBR)) 
	(COMMENT **FASL** 66. (LAP |CONSP MACRO| SUBR)) 
	(COMMENT **FASL** 95. (LAP |*DEFUN MACRO| SUBR)) 
	(COMMENT **FASL** 276. (LAP ISA-PATT-VARIABLE? SUBR)) 
	(COMMENT **FASL** 303. (LAP |E:DO MACRO| SUBR)) 
	(COMMENT **FASL** 331. (LAP |E:VAR MACRO| SUBR)) 
	(COMMENT **FASL** 363. (LAP E:SETLINE SUBR)) 
	(COMMENT **FASL** 402. (LAP |ADDCONC MACRO| SUBR)) 
	(COMMENT **FASL** 440. (LAP |ENDCONC MACRO| SUBR)) 
	(COMMENT **FASL** 489. (LAP |ENDADD MACRO| SUBR)) 
	(COMMENT **FASL** 544. (LAP |RASSQ MACRO| SUBR)) 
	(COMMENT **FASL** 593. (LAP |EDITXDO MACRO| SUBR)) 
	(COMMENT **FASL** 647. (LAP |EDITDO MACRO| SUBR)) 
	(COMMENT **FASL** 685. (LAP |COPYLIST MACRO| SUBR)) 
	(COMMENT **FASL** 711. (LAP |BUTLAST MACRO| SUBR)) 
(COMMENT ****  (NUMBER NIL) Binding number variable to NIL may be a bug in function |REPEAT MACRO|)
	(COMMENT **FASL** 742. (LAP |REPEAT MACRO| SUBR)) 
	(COMMENT **FASL** 783. (LAP |SETF* MACRO| SUBR)) 
	(COMMENT **FASL** 819. (LAP |SOME MACRO| SUBR)) 
	(COMMENT **FASL** 884. (LAP |ALL MACRO| SUBR)) 
	(COMMENT **FASL** 952. (LAP |SUBSET MACRO| SUBR)) 
	(COMMENT **FASL** 1002. (LAP GOOD-NREVERSE SUBR)) 
	(COMMENT **FASL** 1059. (LAP NSUBLIS SUBR)) 
	(COMMENT **FASL** 1119. (LAP |HUNKQUANTP MACRO| SUBR)) 
	(COMMENT **FASL** 1154. (LAP QNSUBLIS SUBR)) 
	(COMMENT **FASL** 1289. (LAP |WRITE MACRO| SUBR)) 
	(COMMENT **FASL** 1375. (LAP SPACES SUBR)) 
	(COMMENT **FASL** 1386. (LAP LINTYPE SUBR)) 
	(COMMENT **FASL** 1589. (LAP E-LIN SUBR)) 
	(COMMENT **FASL** 1590. (LAP E-LIN-C SUBR)) 
	(COMMENT **FASL** 1594. (LAP ENCODE-LINFORMULA SUBR)) 
	(COMMENT **FASL** 1604. (LAP ENCODE-LINFORMULA-S SUBR)) 
	(COMMENT **FASL** 1887. (LAP TRANSFORM-ROLELINKS SUBR)) 
	(COMMENT **FASL** 2018. (LAP ENCODE-QUANT SUBR)) 
	(COMMENT **FASL** 2218. (LAP VARIABLE-RANGE SUBR)) 
	(COMMENT **FASL** 2261. (LAP GETFORMULA SUBR)) 
	(COMMENT **FASL** 2288. (LAP |ATC-GET MACRO| SUBR)) 
	(COMMENT **FASL** 2348. (LAP |ATC-PLIST MACRO| SUBR)) 
	(COMMENT **FASL** 2427. (LAP Q-KERNEL SUBR)) 
	(COMMENT **FASL** 2442. (LAP Q-KERNEL-LT-TYPE SUBR)) 
	(COMMENT **FASL** 2444. (LAP LT-TYPE SUBR)) 
	(COMMENT **FASL** 2655. (LAP LT-TYPE* SUBR)) 
(COMMENT ****  (CURRENTPOS NIL) 
		Binding number variable to NIL may be a bug in function DISPLAY)
	(COMMENT **FASL** 2841. (LAP DISPLAY LSUBR)) 
	(COMMENT **FASL** 2865. (LAP DPYLIST SUBR)) 
	(COMMENT **FASL** 2882. (LAP VNSUBLIS SUBR)) 
	(COMMENT **FASL** 2909. (LAP GENVAR LSUBR)) 
	(COMMENT **FASL** 3042. (LAP MAKE-QVLIST SUBR)) 
	(COMMENT **FASL** 3235. (LAP |Z-BASE-EQUIV MACRO| SUBR)) 
	(COMMENT **FASL** 3267. (LAP DPYLIST-S SUBR)) 
	(COMMENT **FASL** 4020. (LAP TCONC SUBR)) 
	(COMMENT **FASL** 4051. (LAP LCONC SUBR)) 
	(COMMENT **FASL** 4089. (LAP TERMSORT SUBR)) 
	(COMMENT **FASL** 4197. (LAP NORMALIZE-TERMSORTEXPR SUBR)) 
	(COMMENT **FASL** 4234. (LAP |PRINCLIST MACRO| SUBR)) 
	(COMMENT **FASL** 4261. (LAP |NEXTITEMSIZE MACRO| SUBR)) 
	(COMMENT **FASL** 4289. (LAP |PRINITEMS MACRO| SUBR)) 
	(COMMENT **FASL** 4353. (LAP |SPACELEFT MACRO| SUBR)) 
	(COMMENT **FASL** 4362. (LAP STRAIGHTPRIN SUBR)) 
	(COMMENT **FASL** 4614. (LAP PRINQUANT SUBR)) 
	(COMMENT **FASL** 4884. (LAP PRINλ-EXPR SUBR)) 
	(COMMENT **FASL** 4935. (LAP TAB SUBR)) 
	(COMMENT **FASL** 4965. (LAP CURRENTPOS LSUBR)) 
'LINK-NODE 
'LEAF-NODE 
'LTCC-PLIST 
	(COMMENT **FASL** 4981. (LAP NRML-ANL-YZE-LINFORMULA LSUBR)) 
	(COMMENT **FASL** 5011. (LAP |NRML-FORMULA MACRO| SUBR)) 
	(COMMENT **FASL** 5040. (LAP |NRML-ANL-YZE MACRO| SUBR)) 
	(COMMENT **FASL** 5093. (LAP |LT-CONCEPT-TYPE MACRO| SUBR)) 
	(COMMENT **FASL** 5144. (LAP |LEAF-UNIT MACRO| SUBR)) 
	(COMMENT **FASL** 5169. (LAP NORMALIZE-CMPD-CONCEPT LSUBR)) 
	(COMMENT **FASL** 5260. (LAP INITIALIZE-CMPD-CONCEPT SUBR)) 
	(COMMENT **FASL** 5333. (LAP |CONCEPT-BODY MACRO| SUBR)) 
	(COMMENT **FASL** 5376. (LAP |PREVIOUS-LETTER MACRO| SUBR)) 
	(COMMENT **FASL** 5409. (LAP ORDER-CNCPTS SUBR)) 
	(COMMENT **FASL** 5414. (LAP PRECEDES-CNCPT SUBR)) 
	(COMMENT **FASL** 5711. (LAP |GET-PKL-POSITION MACRO| SUBR)) 
	(COMMENT **FASL** 5782. (LAP NORMRAISE-CC LSUBR)) 
	(COMMENT **FASL** 6285. (LAP QV-QUASI-UNSUBST LSUBR)) 
	(COMMENT **FASL** 6584. (LAP ANALYZE-CMPD-CONCEPT LSUBR)) 
	(COMMENT **FASL** 8570. (LAP NACC LSUBR)) 
	(COMMENT **FASL** 8612. (LAP ANALYZE-ROLEMERGE SUBR)) 
	(COMMENT **FASL** 8809. (LAP ATOM-CONVERTIBLE SUBR)) 
	(COMMENT **FASL** 8859. (LAP ADJUST-λ-TERMSORT SUBR)) 
	(COMMENT **FASL** 8894. (LAP COMMON-SUBSORT* SUBR)) 
	(COMMENT **FASL** 8938. (LAP SUPERSORT* SUBR)) 
	(COMMENT **FASL** 9075. (LAP PATHKEY-SORT SUBR)) 
	(COMMENT **FASL** 9217. (LAP GET-ROLELINK SUBR)) 
	(COMMENT **FASL** 9250. (LAP |ALPHA-NTH MACRO| SUBR)) 
	(COMMENT **FASL** 9295. (LAP TERM-SUBRANCH SUBR)) 
	(COMMENT **FASL** 9377. (LAP COPYALLCONS SUBR)) 
	(COMMENT **FASL** 9393. (LAP COPY-1-1-PKLS SUBR)) 
	(COMMENT **FASL** 9430. (LAP LT-COPYALL SUBR)) 
	(COMMENT **FASL** 9438. (LAP LT-SUBST SUBR)) 
	(COMMENT **FASL** 9449. (LAP LT-SUBST* SUBR)) 
	(COMMENT **FASL** 9690. (LAP SELECT&SHORTEN SUBR)) 
	(COMMENT **FASL** 9755. (LAP |[MRS,LSP]ATC.LSP←1.| SUBR)) 
	(COMMENT **FASL** 9760. (LAP ORDER-PATHKEYLISTS SUBR)) 
	(COMMENT **FASL** 9762. (LAP COMPARE-ARGS SUBR)) 
	(COMMENT **FASL** 10027. (LAP CA-PUNT SUBR)) 
	(COMMENT **FASL** 10049. (LAP COMPARE-PFC-FORMULAS SUBR)) 
	(COMMENT **FASL** 10139. (LAP COMPARE-VECTORS SUBR)) 
	(COMMENT **FASL** 10187. (LAP |[MRS,LSP]ATC.LSP←2.| SUBR)) 
	(COMMENT **FASL** 10207. (LAP ORDER-ROLELINKS SUBR)) 
	(COMMENT **FASL** 10245. (LAP COMPARE-ROLEORDER SUBR)) 
	(COMMENT **FASL** 10251. (LAP CULL-EQS SUBR)) 
	(COMMENT **FASL** 10270. (LAP SOME-DUPLICATE-IK-ROLEMARKS SUBR)) 
	(COMMENT **FASL** 10358. (LAP ANALYZE-INSTANTIATION SUBR)) 
	(COMMENT **FASL** 10817. (LAP λ-UNSUBST LSUBR)) 
	(COMMENT **FASL** 10932. (LAP λ-INST-KEY SUBR)) 
	(COMMENT **FASL** 11003. (LAP RAISEATOM SUBR)) 
	(COMMENT **FASL** 11052. (LAP GET-↑-MARKER SUBR)) 
	(COMMENT **FASL** 11093. (LAP GET-↑-TALLY SUBR)) 
	(COMMENT **FASL** 11206. (LAP LOWER-↑-ATOM SUBR)) 
	(COMMENT **FASL** 11254. (LAP LOWER-λ-TERMSORTS SUBR)) 
	(COMMENT **FASL** 11295. (LAP RAISE-λ-TERMSORTS SUBR)) 
	(COMMENT **FASL** 11333. (LAP RAISE↑-TERM SUBR)) 
	(COMMENT **FASL** 11370. (LAP KEYNUMBER SUBR)) 
(COMMENT ****  (EXPRS-LENGTH NIL) 
		Binding number variable to NIL may be a bug in function POSPRINC)
	(COMMENT **FASL** 11387. (LAP POSPRINC LSUBR)) 
	(COMMENT **FASL** 11455. (LAP ANALYZE&EXPOUND LSUBR)) 
	(COMMENT **FASL** 11755. (LAP A&E LSUBR)) 
	(COMMENT **FASL** 11778. (LAP FIX-AL SUBR)) 
	(COMMENT **FASL** 11845. (LAP EXPOUND-ANALYSIS-MODULE-2 SUBR)) 
	(COMMENT **FASL** 12006. (LAP EXPLORE-DNET LSUBR)) 
	(COMMENT **FASL** 12184. (LAP XPDN LSUBR)) 
	(COMMENT **FASL** 12208. (LAP GET-XPDN-COMMAND SUBR)) 
	(COMMENT **FASL** 12212. (LAP TRAVERSE-LINKS SUBR)) 
	(COMMENT **FASL** 12451. (LAP DISPLAY-KEYPATH SUBR)) 
	(COMMENT **FASL** 12571. (LAP DISPLAY-NODE SUBR)) 
	(COMMENT **FASL** 12743. (LAP EXTEND-CURRENT-KEYPATH SUBR)) 
(COMMENT ****  (FIXP PARAM) 
		Numeric predicate applied 
 to numeric type datum is a constant in function SHORTEN-CURRENT-NODEPATH)
(COMMENT ****  (EQ (QUOTE *) PARAM) EQ of a number - EQUAL assumed in function SHORTEN-CURRENT-NODEPATH)
(COMMENT ****  (EQ (QUOTE *) PARAM) 
		This EQUAL test will never come up true in function SHORTEN-CURRENT-NODEPATH)
(COMMENT ****  (EQ (QUOTE **) PARAM) EQ of a number - EQUAL assumed in function SHORTEN-CURRENT-NODEPATH)
(COMMENT ****  (EQ (QUOTE **) PARAM) 
		This EQUAL test will never come up true in function SHORTEN-CURRENT-NODEPATH)
	(COMMENT **FASL** 12809. (LAP SHORTEN-CURRENT-NODEPATH SUBR)) 
	(COMMENT **FASL** 12975. (LAP COUNT-LINKS&LEAVES SUBR)) 
(COMMENT ****  (NUMBER NIL) Binding number variable to NIL may be a bug in function PRINT-PROPERTIES)
(COMMENT ****  NUMBER 
		Using this numeric quantity in a predicate position in function PRINT-PROPERTIES)
(COMMENT ****  (FIXP NUMBER) 
		Numeric predicate applied 
 to numeric type datum is a constant in function PRINT-PROPERTIES)
	(COMMENT **FASL** 13050. (LAP PRINT-PROPERTIES SUBR)) 
'HELP-TABLE-ENTRY 
	(COMMENT **FASL** 13354. (LAP XPDN-HELP SUBR)) 
	(COMMENT **FASL** 13464. (LAP LT-EVAL SUBR)) 
	(COMMENT **FASL** 13605. (LAP WEAKEST-STATUS SUBR)) 
	(COMMENT **FASL** 13624. (LAP SORT-MEMBER SUBR)) 
	(COMMENT **FASL** 13637. (LAP SORT-EXCLUSIVE SUBR)) 
	(COMMENT **FASL** 13708. (LAP LT-GROSSEVAL SUBR)) 
(COMMENT ****  (π-PLIST π-GET π-YH-UNITP π-PUTPROP π-MAKE-UNIT EM:ECOMMANDS) 
		have been used but remain undefined in this file)
	(COMMENT **FASL** TOTAL =  13726. WORDS)